面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.      

一种新颖的ICT扫描方式及其FBP重构算法

计算机层析成像检测的突出问题是获取一幅图像的时间太长.为了缩短较大尺寸构件层析成像检测的二代(TR,Transverse Rotation)扫描时间,讨论了一种准三代(RR,Rotation and Rotation)扫描的概念,推导了它的滤波反投影算法. 计算机模拟结果证明了该算法的正确性. 分析表明,在同样检测条件下,它的扫描速度将比TR提高3倍以上.      

基于熵限制的Baldwin-Lomax湍流模型

针对Baldwin-Lomax(BL)模型在模拟超声速复杂流动中的不足,提出一种基于熵限制的新型修正方式.分别采用原始的BL模型(BL-origin)、修正后的BL模型(BL-entropy)以及Wilcox k-ω两方程模型对超声速平板、超声速二维压缩拐角以及膨胀-压缩拐角3个典型算例进行计算,结果表明BL-entropy 能够较好地获取长度尺度进而得到均匀合理的涡粘性分布.同时,该修正方式简单高效并且适用于其他与超声速边界层有关的模型,具有较大的发展潜力.     

基于原始投影正弦图的X-CT硬化校正

在X射线层析成像(X-CT,X-ray Computed Tomography)技术中,X射线束能谱的多色性将导致层析重建图像出现杯状或条状等射束硬化伪迹,降低成像质量.在分析射束硬化现象具有的3个物理属性基础上,提出了一种对原始多色投影正弦图进行操作的硬化校正方法,并从数学上证明了其校正原理. 针对该方法带来的噪声放大问题,研究了一种基于高、低频信息分类处理的噪声抑制方法.计算机仿真和2种典型试件的实际CT扫描数据的硬化校正结果表明了该方法的有效性.与传统基于多项式拟合技术的校正法相比,该方法不需要事先进行建模扫描和计算,校正程序简单、实时,校正结果具有更高信噪比,且不受扫描条件限制.      

大气吸气模式激光推进的实验研究

激光推进是一种新概念推进技术,在未来航天事业中将有重要的应用前景。利用高重复频率高功率TEA-CO₂脉冲激光器进行了抛物形飞行器的水平和垂直激光推进实验,实现了大气模式的激光垂直推进,飞行高度超过了1m。实验测定了多种工作状况下光脉冲能量转变为飞行器动量的推进效能,测得的光能－冲量耦合系数C_m达到27.7dyne·s/J,与国外文献报道相当。     

RBF网络在结构抗疲劳优化中的应用

针对某飞机机翼I型大梁的开孔加强方案,建立优化的数学模型,利用RBF神经网络模型来逼近设计结构的应力/参数非线性关系,代替原来的经验和拟合公式;采用遗传算法对机翼的加强结构进行优化设计,得到比较合理的结果。     

SAR幅度图像统计模型及其参数估计

对适用于复杂场景SAR幅度图像的乘积模型统计特征进行了深入的分析,导出了其概率分布的一般形式,在单视情况下讨论了三种参数估计方法。MSTAR数据的统计分析结果表明该模型对于高分辨力的SAR图像有较好的适用性。     

快速Max-Min公平带宽分配算法稳定性分析

高QoS的网络传输要以一个稳定的连接作为保证,这就要求资源分配算法要有良好的动态稳定性,但公平分配算法的稳定性还没有得到人们的普遍重视。鉴于Max-Min公平带宽分配方案的实现算法─渐次填充算法的收敛速度太慢,本文提出了快速Max-Min公平分配算法,该算法用多次平均值来快速逼近公平资源值,巧妙的回避了渐次填充算法步长和收敛速度间的矛盾,大大提高了收敛速度。最后,本文对该算法进行了摄动分析,并证明了该算法的稳定性。     

多无人机协同搜索区域划分与路径规划

针对多无人机广域协同搜索问题，研究无人机工作区间划分和全区域覆盖搜索路径规划2个子问题。采用按无人机来向均衡划分的方法和凹点凸分解的方法，开展了凸多边形和非凸多边形的区域划分研究，将多机协同搜索问题转化为子区域上的单机搜索问题；在此基础上采用"Z"型路径覆盖方法以及Dubins转弯路径，对各个无人机开展覆盖其子区域的搜索路径规划，从而建立了一个区域划分和路径规划的整体调用框架，能够对目标区域快速进行划分并生成飞行路线。最后，对凸多边形和非凸多边形区域搜索开展仿真计算，验证了该方法的有效性。     

过载约束下的大机动目标协同拦截

研究了非线性拦截几何下具有过载约束的多枚弱机动能力的导弹拦截强机动能力的目标的协同拦截问题。首先，在建立导弹的可达域、导弹的可行域以及目标的逃逸域这3个概念的基础上提出了非线性拦截几何下的基于逃逸域覆盖的协同拦截策略，并提出了基于标准弹道的设计方法。然后，给出了协同拦截制导律的形式，研究了导弹的末制导初始阵位、制导律参数以及导弹对目标机动的覆盖区域这三者间的关系，并设计了数值求解算法来实现对多弹的覆盖区域的分配、协同制导律的设计以及多弹初始拦截阵位的配置。最后，对理论结果进行仿真。结果显示，多枚机动性较小的导弹，通过初始拦截阵位的合理配置和协同拦截制导律的合理设计，可以实现对机动性能较强的目标的协同拦截。